John Barwise and Lawrence Moss, Vicious Circles: On the mathematics of Non-Wellfounded Phenomena
نویسنده
چکیده
“[T]o a greater or lesser degree, every scientific advance marks some departure from the common sense that preceded it.” These words of Irving M. Copi (1979: 195) seem to summarize the nature of Vicious Circles in the most concise fashion. Following the steps of Aczel’s (1988) ground-breaking monograph which marked a departure from the “common sense” that is attributed to classical set theory, this new book (abbreviated as VC in the sequel) of Jon Barwise and Larry Moss not only offers an introduction to the revolutionary and fascinating topic of non-wellfounded sets (a.k.a. hypersets) but also becomes the most authoritative source for any serious researcher (mathematician, philosopher, or computer scientist alike) who wants to understand and further pursue this timely topic. Barwise’s quest for an enrichment of the concept of set can in fact be traced back to his pioneering project, jointly with John Perry, in situation theory and situation semantics (STASS) (Barwise and Perry, 1983: 52):
منابع مشابه
On the Foundations of Corecursion
We consider foundational questions related to the de nition of functions by corecursion. This method is especially suited to functions into the greatest xed point of some monotone operator, and it is most applicable in the context of non-wellfounded sets. We review the work on the Special Final Coalgebra Theorem of Aczel [NWF] and the Corecursion Theorem of Barwise and Moss [VC]. We prove some ...
متن کاملFunctional Set Theory
A recent article in The Intelligencer described in some detail the theory of non-well-founded sets for the purpose of being able to solve freely equations of the sort X = A × X with A fixed ([Barwise & Moss, 1991]). Of course, the empty set is a solution, but what was wanted was a non-empty solution (in fact, the largest solution, if such exists). If X were a non-empty solution and x ∈ X, then ...
متن کاملExtrinsic sphere and totally umbilical submanifolds in Finsler spaces
Based on a definition for circle in Finsler space, recently proposed by one of the present authors and Z. Shen, a natural definition of extrinsic sphere in Finsler geometry is given and it is shown that a connected submanifold of a Finsler manifold is totally umbilical and has non-zero parallel mean curvature vector field, if and only if its circles coincide with circles of the ambient...
متن کاملGeneralizing substitution
It is well known that, given an endofunctor H on a category C, the initial (A+H−)-algebras (if existing), i.e., the algebras of (wellfounded) H-terms over different variable supplies A, give rise to a monad with substitution as the extension operation (the free monad induced by the functor H). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys...
متن کاملروششناسی شناخت فضای جغرافیای چیست؟ (درنگی بر سرشت روش‌شناسی شناخت فضای جغرافیایی از چشم‌انداز پدیدارشناسی هرمنوتیک)
The geographical space as a “phenomenon” includes various phenomena that we can put them in the two Dasien(s) and non-Dasien(s) layers. We try to answer this question: “which methodology is suitable methodology to cognition geographical space?” by the hermeneutic phenomenology perspective, and critical viewpoint to the categories of methodology (explanation & interpretat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Logic, Language and Information
دوره 6 شماره
صفحات -
تاریخ انتشار 1997